Proving the sum to product identity for sine